Chapter 8 AGENT INTERACTION AND STATE DETERMINATION IN SCADA SYSTEMS

نویسندگان

  • Thomas McEvoy
  • Stephen Wolthusen
چکیده

Defensive actions in critical infrastructure environments will increasingly require automated agents to manage the complex, dynamic interactions that occur between operators and malicious actors. Characterizing such agent behavior requires the ability to reason about distributed environments where the state of a channel or process depends on the actions of the opposing sides. This paper describes an extension to the Applied π-Calculus for modeling agent behavior in critical infrastructure environments. The utility of the extension is demonstrated via an agent-based attack and defense interaction scenario.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Agent Interaction and State Determination in SCADA Systems

In critical infrastructure environments, we argue that both adversaries and operators will utilize agents to manage dynamic attack/defence interactions in future. Agent behavior and, in particular, agent interaction require adequate modelling tools to reason over such situations in distributed environments where the state (malicious or non-malicious) of a channel or process can vary dynamically...

متن کامل

Modelling and Evaluating Verbal and Non-verbal Communication in Talking Animated Interface Agents

The use of animated talking agents is a novel feature of many multimodal experimental spoken dialogue systems. The addition and integration of a virtual talking head has direct implications for the way in which users approach and interact with such systems. Established techniques for evaluating the quality, efficiency, and other impacts of this technology have not yet appeared in standard textb...

متن کامل

Analytical determination of the chemical exchange saturation transfer (CEST) contrast in molecular magnetic resonance imaging

Magnetic resonance based on molecular imaging allows tracing contrast agents thereby facilitating early diagnosis of diseases in a non-invasive fashion that enhances the soft tissue with high spatial resolution. Recently, the exchange of protons between the contrast agent and water, known as the chemical exchange saturation transfer (CEST) effect, has been measured by applying a suitable pulse ...

متن کامل

Multiagent Systems and Societies of Agents

Agents operate and exist in some environment, which typically is both computational and physical. The environment might be open or closed, and it might or might not contain other agents. Although there are situations where an agent can operate usefully by itself, the increasing interconnection and networking of computers is making such situations rare, and in the usual state of aaairs the agent...

متن کامل

Cloud-based Fault Detection and Classification for Oil & Gas Industry

Oil & Gas industry relies on automated, mission–critical equipment and complex systems built upon their interaction and cooperation. To assure continuous operation and avoid any supervision, architects embed Distributed Control Systems (DCS), a.k.a. Supervisory Control and Data Acquisition (SCADA) systems, on top of their equipment to generate data, monitor state and make critical online & offl...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2014